This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...
Continue readingRather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program ...
Continue readingThis book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning ...
Continue readingillustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue readingThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue readingThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue readingThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Continue readingThis book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThis book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
Continue readingThis book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
Continue readingThis book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
Continue readingThis book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
Continue readingThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Continue readingThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Continue readingThis book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS ...
Continue reading